расширенное исчисление

См. также в других словарях:

• ЛЕСНЕВСКИЙ — (Lesnewsky) Станислав (1886 1939) пол. логик. Обучался в Берлине, Лейпциге, Мюнхене, Гейдельберге и Львове (под руководством К. Твардовского). Проф. философии математики Варшавского ун та в 1919 1939. Л. принадлежит к крупнейшим логикам 20 в.… …   Философская энциклопедия

• Парадокс — (от греч. parádoxes неожиданный, странный)         неожиданное, непривычное (хотя бы по форме) суждение (высказывание, предложение), резко расходящееся с общепринятым, традиционным мнением по данному вопросу. В этом смысле эпитет «парадоксальный» …   Большая советская энциклопедия

• ТАРСКИЙ — (Tarski) Альфред (1901 1983) пол. логик и математик. Изучал математику и философию в Варшаве в 1919 1923; его учителями были логики С. Лесьневский и Я. Лукасевич, математик В. Серпиньский и философ Т. Котарбиньский. В 1925 1939 Т. преподавал… …   Философская энциклопедия

• парадокс —         ПАРАДОКС (от греч. para вне и doxa мнение). 1) В широком (внелогическом) смысле все то, что так или иначе вступает в конфликт (расходится) с общепринятым мнением, подтвержденным традицией, законом, правилом, нормой или здравым смыслом.… …   Энциклопедия эпистемологии и философии науки

• ФРЕГЕ — (Frege) Готлоб (1848 1925) немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды:… …   История Философии: Энциклопедия

• ФРЕГЕ отлоб (1848-1925) — немецкий логик, математик и философ. Профессор Йенского университета. Оказал формирующее влияние на современную формальную логику, основания математики и аналитическое направление философии в 20 в. Основные труды: Запись в понятиях (1879), Основы …   История Философии: Энциклопедия

• Лейбниц, Готфрид Вильгельм — Готфрид Вильгельм Лейбниц Gottfried Wilhelm Leibniz …   Википедия

• Функциональный анализ — У этого термина существуют и другие значения, см. Анализ. Функциональный анализ  раздел высшей математики, в котором изучаются бесконечномерные топологические векторные пространства (в основном пространства функций[1]) и их отображения.… …   Википедия

• Тензорное поле — Тензорное поле  это отображение, которое каждой точке рассматриваемого пространства ставит в соответствие тензор. Содержание 1 Определение 1.1 Опреде …   Википедия

• Бугаев, Николай Васильевич — В Википедии есть статьи о других людях с такой фамилией, см. Бугаев. Николай Васильевич Бугаев …   Википедия

• БЕНТАМ — (Bentham) Иеремия (Джереми) (1748 1832) англ. правовед, философ, экономист и общественный деятель. Его главное филос. произведение «Введение в принципы нравственности и законодательства» было написано в 1780, но впервые опубликовано лишь в 1789… …   Философская энциклопедия